Gernot Heiser

#	Item
91	From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone and Gernot Heiser Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 L4 microkernel family Microkernel Gernot Heiser Kernel Monolithic kernels EROS Open Kernel Labs Capability-based security Architecture of Windows NT Computer architecture System software Software
92	High-Performance Microkernels and Virtualisation on ARM and Segmented Architectures Carl van Schaik† and Gernot Heiser†‡§ Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:47 Computer memory Central processing unit Memory management Concurrent computing Translation lookaside buffer L4 microkernel family CPU cache Page table Gernot Heiser Virtual memory Computing Computer architecture
93	PDF Document Add to Reading List Source URL: nicta.com.au Language: English - Date: 2009-04-01 19:42:19 Academia Gernot Heiser Education Defence Science and Technology Organisation Australian National University University of Sydney University of Melbourne Information and communication technologies in education Association of Commonwealth Universities NICTA Technology